Optimal. Leaf size=301 \[ -\frac {b^3 f \sqrt {c+d x} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{12 d^2}+\frac {b (d e-c f) \sqrt {c+d x} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{d^2}+\frac {b f (c+d x)^{3/2} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{6 d^2}-\frac {b^4 f \text {Ci}\left (\frac {b}{\sqrt {c+d x}}\right ) \sin (a)}{12 d^2}+\frac {b^2 (d e-c f) \text {Ci}\left (\frac {b}{\sqrt {c+d x}}\right ) \sin (a)}{d^2}-\frac {b^2 f (c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{12 d^2}+\frac {(d e-c f) (c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{d^2}+\frac {f (c+d x)^2 \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{2 d^2}-\frac {b^4 f \cos (a) \text {Si}\left (\frac {b}{\sqrt {c+d x}}\right )}{12 d^2}+\frac {b^2 (d e-c f) \cos (a) \text {Si}\left (\frac {b}{\sqrt {c+d x}}\right )}{d^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.27, antiderivative size = 301, normalized size of antiderivative = 1.00, number of steps
used = 14, number of rules used = 5, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.250, Rules used = {3512, 3378,
3384, 3380, 3383} \begin {gather*} -\frac {b^4 f \sin (a) \text {CosIntegral}\left (\frac {b}{\sqrt {c+d x}}\right )}{12 d^2}-\frac {b^4 f \cos (a) \text {Si}\left (\frac {b}{\sqrt {c+d x}}\right )}{12 d^2}-\frac {b^3 f \sqrt {c+d x} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{12 d^2}+\frac {b^2 \sin (a) (d e-c f) \text {CosIntegral}\left (\frac {b}{\sqrt {c+d x}}\right )}{d^2}+\frac {b^2 \cos (a) (d e-c f) \text {Si}\left (\frac {b}{\sqrt {c+d x}}\right )}{d^2}-\frac {b^2 f (c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{12 d^2}+\frac {(c+d x) (d e-c f) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{d^2}+\frac {b \sqrt {c+d x} (d e-c f) \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{d^2}+\frac {f (c+d x)^2 \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{2 d^2}+\frac {b f (c+d x)^{3/2} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{6 d^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 3378
Rule 3380
Rule 3383
Rule 3384
Rule 3512
Rubi steps
\begin {align*} \int (e+f x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right ) \, dx &=-\frac {2 \text {Subst}\left (\int \left (\frac {f \sin (a+b x)}{d x^5}+\frac {(d e-c f) \sin (a+b x)}{d x^3}\right ) \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{d}\\ &=-\frac {(2 f) \text {Subst}\left (\int \frac {\sin (a+b x)}{x^5} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{d^2}-\frac {(2 (d e-c f)) \text {Subst}\left (\int \frac {\sin (a+b x)}{x^3} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{d^2}\\ &=\frac {(d e-c f) (c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{d^2}+\frac {f (c+d x)^2 \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{2 d^2}-\frac {(b f) \text {Subst}\left (\int \frac {\cos (a+b x)}{x^4} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{2 d^2}-\frac {(b (d e-c f)) \text {Subst}\left (\int \frac {\cos (a+b x)}{x^2} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{d^2}\\ &=\frac {b (d e-c f) \sqrt {c+d x} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{d^2}+\frac {b f (c+d x)^{3/2} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{6 d^2}+\frac {(d e-c f) (c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{d^2}+\frac {f (c+d x)^2 \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{2 d^2}+\frac {\left (b^2 f\right ) \text {Subst}\left (\int \frac {\sin (a+b x)}{x^3} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{6 d^2}+\frac {\left (b^2 (d e-c f)\right ) \text {Subst}\left (\int \frac {\sin (a+b x)}{x} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{d^2}\\ &=\frac {b (d e-c f) \sqrt {c+d x} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{d^2}+\frac {b f (c+d x)^{3/2} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{6 d^2}-\frac {b^2 f (c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{12 d^2}+\frac {(d e-c f) (c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{d^2}+\frac {f (c+d x)^2 \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{2 d^2}+\frac {\left (b^3 f\right ) \text {Subst}\left (\int \frac {\cos (a+b x)}{x^2} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{12 d^2}+\frac {\left (b^2 (d e-c f) \cos (a)\right ) \text {Subst}\left (\int \frac {\sin (b x)}{x} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{d^2}+\frac {\left (b^2 (d e-c f) \sin (a)\right ) \text {Subst}\left (\int \frac {\cos (b x)}{x} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{d^2}\\ &=-\frac {b^3 f \sqrt {c+d x} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{12 d^2}+\frac {b (d e-c f) \sqrt {c+d x} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{d^2}+\frac {b f (c+d x)^{3/2} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{6 d^2}+\frac {b^2 (d e-c f) \text {Ci}\left (\frac {b}{\sqrt {c+d x}}\right ) \sin (a)}{d^2}-\frac {b^2 f (c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{12 d^2}+\frac {(d e-c f) (c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{d^2}+\frac {f (c+d x)^2 \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{2 d^2}+\frac {b^2 (d e-c f) \cos (a) \text {Si}\left (\frac {b}{\sqrt {c+d x}}\right )}{d^2}-\frac {\left (b^4 f\right ) \text {Subst}\left (\int \frac {\sin (a+b x)}{x} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{12 d^2}\\ &=-\frac {b^3 f \sqrt {c+d x} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{12 d^2}+\frac {b (d e-c f) \sqrt {c+d x} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{d^2}+\frac {b f (c+d x)^{3/2} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{6 d^2}+\frac {b^2 (d e-c f) \text {Ci}\left (\frac {b}{\sqrt {c+d x}}\right ) \sin (a)}{d^2}-\frac {b^2 f (c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{12 d^2}+\frac {(d e-c f) (c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{d^2}+\frac {f (c+d x)^2 \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{2 d^2}+\frac {b^2 (d e-c f) \cos (a) \text {Si}\left (\frac {b}{\sqrt {c+d x}}\right )}{d^2}-\frac {\left (b^4 f \cos (a)\right ) \text {Subst}\left (\int \frac {\sin (b x)}{x} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{12 d^2}-\frac {\left (b^4 f \sin (a)\right ) \text {Subst}\left (\int \frac {\cos (b x)}{x} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{12 d^2}\\ &=-\frac {b^3 f \sqrt {c+d x} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{12 d^2}+\frac {b (d e-c f) \sqrt {c+d x} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{d^2}+\frac {b f (c+d x)^{3/2} \cos \left (a+\frac {b}{\sqrt {c+d x}}\right )}{6 d^2}-\frac {b^4 f \text {Ci}\left (\frac {b}{\sqrt {c+d x}}\right ) \sin (a)}{12 d^2}+\frac {b^2 (d e-c f) \text {Ci}\left (\frac {b}{\sqrt {c+d x}}\right ) \sin (a)}{d^2}-\frac {b^2 f (c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{12 d^2}+\frac {(d e-c f) (c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{d^2}+\frac {f (c+d x)^2 \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{2 d^2}-\frac {b^4 f \cos (a) \text {Si}\left (\frac {b}{\sqrt {c+d x}}\right )}{12 d^2}+\frac {b^2 (d e-c f) \cos (a) \text {Si}\left (\frac {b}{\sqrt {c+d x}}\right )}{d^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.41, size = 367, normalized size = 1.22 \begin {gather*} \frac {e \sqrt {c+d x} \cos \left (\frac {b}{\sqrt {c+d x}}\right ) \left (b \cos (a)+\sqrt {c+d x} \sin (a)\right )}{d}+\frac {f \sqrt {c+d x} \cos \left (\frac {b}{\sqrt {c+d x}}\right ) \left (-b^3 \cos (a)-12 b c \cos (a)+2 b (c+d x) \cos (a)-b^2 \sqrt {c+d x} \sin (a)-12 c \sqrt {c+d x} \sin (a)+6 (c+d x)^{3/2} \sin (a)\right )}{12 d^2}+\frac {e \sqrt {c+d x} \left (\sqrt {c+d x} \cos (a)-b \sin (a)\right ) \sin \left (\frac {b}{\sqrt {c+d x}}\right )}{d}+\frac {f \sqrt {c+d x} \left (-b^2 \sqrt {c+d x} \cos (a)-12 c \sqrt {c+d x} \cos (a)+6 (c+d x)^{3/2} \cos (a)+b^3 \sin (a)+12 b c \sin (a)-2 b (c+d x) \sin (a)\right ) \sin \left (\frac {b}{\sqrt {c+d x}}\right )}{12 d^2}+\frac {b^2 e \left (\text {Ci}\left (\frac {b}{\sqrt {c+d x}}\right ) \sin (a)+\cos (a) \text {Si}\left (\frac {b}{\sqrt {c+d x}}\right )\right )}{d}-\frac {b^2 \left (b^2+12 c\right ) f \left (\text {Ci}\left (\frac {b}{\sqrt {c+d x}}\right ) \sin (a)+\cos (a) \text {Si}\left (\frac {b}{\sqrt {c+d x}}\right )\right )}{12 d^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.03, size = 295, normalized size = 0.98
method | result | size |
derivativedivides | \(-\frac {2 b^{2} \left (-c f \left (-\frac {\sin \left (a +\frac {b}{\sqrt {d x +c}}\right ) \left (d x +c \right )}{2 b^{2}}-\frac {\cos \left (a +\frac {b}{\sqrt {d x +c}}\right ) \sqrt {d x +c}}{2 b}-\frac {\sinIntegral \left (\frac {b}{\sqrt {d x +c}}\right ) \cos \left (a \right )}{2}-\frac {\cosineIntegral \left (\frac {b}{\sqrt {d x +c}}\right ) \sin \left (a \right )}{2}\right )+d e \left (-\frac {\sin \left (a +\frac {b}{\sqrt {d x +c}}\right ) \left (d x +c \right )}{2 b^{2}}-\frac {\cos \left (a +\frac {b}{\sqrt {d x +c}}\right ) \sqrt {d x +c}}{2 b}-\frac {\sinIntegral \left (\frac {b}{\sqrt {d x +c}}\right ) \cos \left (a \right )}{2}-\frac {\cosineIntegral \left (\frac {b}{\sqrt {d x +c}}\right ) \sin \left (a \right )}{2}\right )+f \,b^{2} \left (-\frac {\sin \left (a +\frac {b}{\sqrt {d x +c}}\right ) \left (d x +c \right )^{2}}{4 b^{4}}-\frac {\cos \left (a +\frac {b}{\sqrt {d x +c}}\right ) \left (d x +c \right )^{\frac {3}{2}}}{12 b^{3}}+\frac {\sin \left (a +\frac {b}{\sqrt {d x +c}}\right ) \left (d x +c \right )}{24 b^{2}}+\frac {\cos \left (a +\frac {b}{\sqrt {d x +c}}\right ) \sqrt {d x +c}}{24 b}+\frac {\sinIntegral \left (\frac {b}{\sqrt {d x +c}}\right ) \cos \left (a \right )}{24}+\frac {\cosineIntegral \left (\frac {b}{\sqrt {d x +c}}\right ) \sin \left (a \right )}{24}\right )\right )}{d^{2}}\) | \(295\) |
default | \(-\frac {2 b^{2} \left (-c f \left (-\frac {\sin \left (a +\frac {b}{\sqrt {d x +c}}\right ) \left (d x +c \right )}{2 b^{2}}-\frac {\cos \left (a +\frac {b}{\sqrt {d x +c}}\right ) \sqrt {d x +c}}{2 b}-\frac {\sinIntegral \left (\frac {b}{\sqrt {d x +c}}\right ) \cos \left (a \right )}{2}-\frac {\cosineIntegral \left (\frac {b}{\sqrt {d x +c}}\right ) \sin \left (a \right )}{2}\right )+d e \left (-\frac {\sin \left (a +\frac {b}{\sqrt {d x +c}}\right ) \left (d x +c \right )}{2 b^{2}}-\frac {\cos \left (a +\frac {b}{\sqrt {d x +c}}\right ) \sqrt {d x +c}}{2 b}-\frac {\sinIntegral \left (\frac {b}{\sqrt {d x +c}}\right ) \cos \left (a \right )}{2}-\frac {\cosineIntegral \left (\frac {b}{\sqrt {d x +c}}\right ) \sin \left (a \right )}{2}\right )+f \,b^{2} \left (-\frac {\sin \left (a +\frac {b}{\sqrt {d x +c}}\right ) \left (d x +c \right )^{2}}{4 b^{4}}-\frac {\cos \left (a +\frac {b}{\sqrt {d x +c}}\right ) \left (d x +c \right )^{\frac {3}{2}}}{12 b^{3}}+\frac {\sin \left (a +\frac {b}{\sqrt {d x +c}}\right ) \left (d x +c \right )}{24 b^{2}}+\frac {\cos \left (a +\frac {b}{\sqrt {d x +c}}\right ) \sqrt {d x +c}}{24 b}+\frac {\sinIntegral \left (\frac {b}{\sqrt {d x +c}}\right ) \cos \left (a \right )}{24}+\frac {\cosineIntegral \left (\frac {b}{\sqrt {d x +c}}\right ) \sin \left (a \right )}{24}\right )\right )}{d^{2}}\) | \(295\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [C] Result contains complex when optimal does not.
time = 0.53, size = 409, normalized size = 1.36 \begin {gather*} -\frac {\frac {12 \, {\left ({\left ({\left (-i \, {\rm Ei}\left (\frac {i \, b}{\sqrt {d x + c}}\right ) + i \, {\rm Ei}\left (-\frac {i \, b}{\sqrt {d x + c}}\right )\right )} \cos \left (a\right ) + {\left ({\rm Ei}\left (\frac {i \, b}{\sqrt {d x + c}}\right ) + {\rm Ei}\left (-\frac {i \, b}{\sqrt {d x + c}}\right )\right )} \sin \left (a\right )\right )} b^{2} + 2 \, \sqrt {d x + c} b \cos \left (\frac {\sqrt {d x + c} a + b}{\sqrt {d x + c}}\right ) + 2 \, {\left (d x + c\right )} \sin \left (\frac {\sqrt {d x + c} a + b}{\sqrt {d x + c}}\right )\right )} c f}{d} - 12 \, {\left ({\left ({\left (-i \, {\rm Ei}\left (\frac {i \, b}{\sqrt {d x + c}}\right ) + i \, {\rm Ei}\left (-\frac {i \, b}{\sqrt {d x + c}}\right )\right )} \cos \left (a\right ) + {\left ({\rm Ei}\left (\frac {i \, b}{\sqrt {d x + c}}\right ) + {\rm Ei}\left (-\frac {i \, b}{\sqrt {d x + c}}\right )\right )} \sin \left (a\right )\right )} b^{2} + 2 \, \sqrt {d x + c} b \cos \left (\frac {\sqrt {d x + c} a + b}{\sqrt {d x + c}}\right ) + 2 \, {\left (d x + c\right )} \sin \left (\frac {\sqrt {d x + c} a + b}{\sqrt {d x + c}}\right )\right )} e - \frac {{\left ({\left ({\left (i \, {\rm Ei}\left (\frac {i \, b}{\sqrt {d x + c}}\right ) - i \, {\rm Ei}\left (-\frac {i \, b}{\sqrt {d x + c}}\right )\right )} \cos \left (a\right ) - {\left ({\rm Ei}\left (\frac {i \, b}{\sqrt {d x + c}}\right ) + {\rm Ei}\left (-\frac {i \, b}{\sqrt {d x + c}}\right )\right )} \sin \left (a\right )\right )} b^{4} - 2 \, {\left (\sqrt {d x + c} b^{3} - 2 \, {\left (d x + c\right )}^{\frac {3}{2}} b\right )} \cos \left (\frac {\sqrt {d x + c} a + b}{\sqrt {d x + c}}\right ) - 2 \, {\left ({\left (d x + c\right )} b^{2} - 6 \, {\left (d x + c\right )}^{2}\right )} \sin \left (\frac {\sqrt {d x + c} a + b}{\sqrt {d x + c}}\right )\right )} f}{d}}{24 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.38, size = 243, normalized size = 0.81 \begin {gather*} \frac {{\left (12 \, b^{2} d e - {\left (b^{4} + 12 \, b^{2} c\right )} f\right )} \operatorname {Ci}\left (\frac {b}{\sqrt {d x + c}}\right ) \sin \left (a\right ) + {\left (12 \, b^{2} d e - {\left (b^{4} + 12 \, b^{2} c\right )} f\right )} \operatorname {Ci}\left (-\frac {b}{\sqrt {d x + c}}\right ) \sin \left (a\right ) + 2 \, {\left (12 \, b^{2} d e - {\left (b^{4} + 12 \, b^{2} c\right )} f\right )} \cos \left (a\right ) \operatorname {Si}\left (\frac {b}{\sqrt {d x + c}}\right ) + 2 \, {\left (2 \, b d f x + 12 \, b d e - {\left (b^{3} + 10 \, b c\right )} f\right )} \sqrt {d x + c} \cos \left (\frac {a d x + a c + \sqrt {d x + c} b}{d x + c}\right ) - 2 \, {\left (b^{2} d f x - 6 \, d^{2} f x^{2} + {\left (b^{2} c + 6 \, c^{2}\right )} f - 12 \, {\left (d^{2} x + c d\right )} e\right )} \sin \left (\frac {a d x + a c + \sqrt {d x + c} b}{d x + c}\right )}{24 \, d^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \left (e + f x\right ) \sin {\left (a + \frac {b}{\sqrt {c + d x}} \right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 2159 vs.
\(2 (271) = 542\).
time = 5.17, size = 2159, normalized size = 7.17 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \sin \left (a+\frac {b}{\sqrt {c+d\,x}}\right )\,\left (e+f\,x\right ) \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________